Zumindest bis dahin sollte der Berliner Politikbetrieb sich und den Menschen im Land eine kleine Sommerpause gönnen.