$ETH ist hart geworden, ab geht’s, gute Nacht!