namnet " kung Oscar » park " liksom ock den paviljong , som högtidligen i torsdag » invigdes , erhöll namnet " kung Oscars paviljong ."