Philipp, Rudolph, 1742-1812.