STW Kapitel 1.4: Einschluss-Ausschluss-Formel