$ETH Der Urlaub ist vorbei, zurück in den Arbeitsalltag.