för flottans militärpersonal erhållit tjenstledighet från den 13 dennes t. o. m . den 5 nästkommande juli.