Ist Rauchen in der Red Bull Arena erlaubt?