pings Rådhus den 13 Maj 1872.