tjenstledighet från den 16 dennes t. o. m . den 25 juli.