gerrit.morgengrauen.info / mudlib-public / 8bf9880dea4e3c7d0773e5b8d310ec3c17aa9e10 / doc / efun-mg / file_size