erhöll af konung Oscar namnet » Oscars paviljong ».