In August most of Europe goes on holiday.