— Mellanrikslagen i Norge.