" Olav Tryggvason " sjöng konungen med.