Luigi Nono : Der rote Mantel