Leanstral 1.5: Beweisvielzahl für alle

Leanstral 1.5: Beweisvielzahl für alle