Thomas Bartholin — Danish antiquarian seller, archaeologist, archivist and historian