2WS20 (2024-4) Probability theory