Christopher Bartholin — Danish judge (1657-1714)