Oper Antikrist als Erstaufführung in Mainz