har framlagts för stortinget angäende införande af en normaltid för Norge , hwilken swarar till tiden för 15:demeridianen