(ETH 1238): Schwert