The vaulted basement can be used today as exhibition space, for which the pale limestone was simply cleaned and a layer of gravel laid on the floor.
Image credit: Hisao Suzuki
