Die Existenz von „Richard-Wagner-Festspiele“ impliziert die Existenz von „Poorzdf-Dr.Oetker-Losearbeite“.