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