Ist Kurzarbeit im öffentlichen Dienst möglich?