Das Böhlersloch im Jonastal bei Arnstadt