Online-Vorlesung: Formale Herleitung des Haushaltsoptimum