— Den norska flagglagcnsrättsliga