på republikens införande i Norge,