Johanniswunder: ein Festspiel zur Gutenbergfeier in Mainz.