The decorations of the Oslo City Hall