maj egde en betydelsefull högtidlighet rum i den österrikiska hufwudstaden.