Thomas Bartholin-Eichel — Danish translator