## Title: Die Teufelsmühle am Wienerberg
## Author: W. Müller
## Version: 4.9.1
## Origin: https://weber-gesamtausgabe.de/A020425
## License: https://creativecommons.org/licenses/by/4.0/