The acoustics of the Bayreuth Festspielhaus