och republikens införande i Norge.