$ETH ist in Ordnung