Der fliegende Holländer : the origins and staging of Richard Wagner's opera : an