$ETH Einrichtungenmittel werden weiterhin ausgebaut.