Was ist eigentlich aus Magix geworden?