Nu äro alltså riksdagens » sommarferier»