The end of the Wagner overture