Weihnachtssatz. Conjunctive normal form. Übungen mit dem gymstick. Vw aktien kurs.