tjenstledighet under tiden 1 maj — 31 augusti.