Rediscovering the Beauty of Budapest: Restoration of Buda Castle's Historic Hall