Keurboek der stad Diest. (Havermans, 1885)