» Heilig Olav » den 6 maj.