what is the highest elevation in trondheim norway?