(ETH 879): Pfeil