Der Satz von Hahn-Banach per Disjunktionselimination