Gerlachovský štít (, translated into English as Gerlachov Peak, German: Gerlsdorfer Spitze, Hungarian: Gerlachfalvi-csúcs), informally referred to as...
