Mehr als eine Milliarde Franken für die ETH – und dann ?