Ist es jetzt an der Zeit, ETH hier zu shorten?