Himinbjorg, se Himmelbjerg.