Es ist Zeit, ETH aufzugeben. Es hatte seinen Lauf.