Thomas Bartholin den yngste — Danish judge (1690-1737)