„GRAVENSTEEN”, — et oude gerechtsgebouw tevens gevangenis, een van de typische gebouwen van Leiden, dort jaren ongebruikt is en dat in vervallen staat verkeert, wordt thans hersteld Aan de voorzijde van bouw aan het (len-rht (de naam van de straat) heeft men den gevel, waarop de ramen van de gaanierij uitkomen, waar in vroeger eeuwen de schout en schepenen de terechtstellingen bijwoonden, gestut en een gedeelte van het oude fries blootgelegd. fPolyuorm.J

Artikel uit "Haagsche courant", 21 maart 1941