cf. Blasloch Blas.