gerrit.morgengrauen.info / mudlib-public / 4fcca7331e28483af03db25d3c220d9857299c2d / doc / efun-mg / file_size