Yes, Antex is certainly plausible. Antex sets 3253, 3310 and 3458 in Collector have figures with printed torso pockets, like the one shown in 3518, as well as the 'colour number' panel on the box. Collector missed out some of the Antex sets deliberately, but this one has no real counterpart (in terms of contents) in the German range.