bernhardus varenius