fick också ett fint namn , » Konung Oskars paviljong ».