## Title: Eisenstein ## Author: ## Version: 4.11.0 ## Origin: https://weber-gesamtausgabe.de/A130391 ## License: https://creativecommons.org/licenses/by/4.0/