[835] Erdmannshöhle (Haseler Höhle), Tropfsteinhöhle bei dem Dorfe Hasel im Amte Schopfheim des badischen Oberrheinkreises, der bekannten Baumannshöhle kaum nachstehend.