"Høyfjellstopp" er et 13-bokstavers substantiv som brukes som synonym for "Frantzen". Frantzen betyr: Høyeste punkt i fjellområdet