Welche Höhe Randstein?