$ETH ist in letzter Zeit so stachelig gewesen.