cf. Senkgrube Senkloch.