Efter norske konungen Olof denhelige