EuroMillions - Ziehung vom 15.09.2023