semester för civile embets- och tjenstemän.