( i Bärtholini Antiquit.