Ich hoffe nicht. Gerade in den Sommerferien gibt es doch einige Arbeit für die Leute aus dem Kultusministerium. Letztlich müssen dann die Abordnungen, Neueinstellungen etc. endgültig bearbeitet werden. Da wäre es schon blöd, wenn die Dezernenten dann ihren Urlaub hätten.