Johann Paul Trump (1727-1792)/info