"topphøyde" er et 9-bokstavers substantiv som brukes som synonym for "Himmelbjerget". Himmelbjerget betyr: Den høyeste høyde i et område