Ist der 31.12 ein Arbeitstag im öffentlichen Dienst?