I anseende till helgdag i Norge ,afgår