Does anyone know if the official name of the mountain is "Fløyen" or "Fløyfjellet"?
it is called "fløyen" by citizens of Bergen, but "Fløyfjellet" by others.