gerrit.morgengrauen.info / mudlib-public / 88543de70eb9844be9a0422afc2c3e7bd5086cce / doc / efun-mg / file_size