As business mix shifts, Eurex bulks up its default fund