Zum Hauptinhalt übergehen

axiom (3)