tjänstledighet för tiden den 15 — 31 dennes.