(ETH 918): Pfeil