Frage zu Artikel "Erste Schritte in die beweisende Geometrie für.."