Pannonhalma, called Győrszentmárton until 1965, is a town in Győr-Moson-Sopron county in western Hungary. With a little under 4,000 inhabitants, it is about 20 km south-southeast of Győr. From Wikipedia
After six weeks in oxygen-free nitrogen sacks to kill the beetles, each volume will be inspected before undergoing restoration ahead of a planned reopening in early 2026.