haft sin tjenstgöringstid maj — juni,