cf. Hohlbeitel Hohlbeutel.