(ETH 712): Keule