one wall left after the rest of its building was destroyed at Buda Castle in Budapest