Ist Kurzarbeit im öffentlichen Dienst erlaubt?