Pilaster decoration of the Stadsgehoorzaal in Leiden.