(ETH 1207): Pfeil