ETH hat gerade operiert, ist das noch in Ordnung?