Mining medicine in the 18th century. On the 250th anniversary of the birthday of Ignaz von Born (1742-1791)