mit einer durchschnittlichen wöchentlichen Arbeitszeit von 6,24 Wochenstunden.
Eine Beschäftigung nach den Vorschriften des Tarifvertrages für den öffentlichen Dienst (TVöD)