$ETH Lasst uns mit etwas Glück in den November starten, Leute!