[uni-spicker] Notationsänderung \times zu \otimes für Produktalgebren und -maße, Details in Ana 3
[uni-spicker] Letzten Teil des Satzes von Tonelli vergessen in Ana 3