Thomas Johann Dehn — mayor (1754-1817)