福井 アニメ イベント. Bochum bergwerk tickets. Lotto results 2025. Satz von der totalen wahrscheinlichkeit wikipedia.