Maschine zur verpackung von produkten in hart- oder semihartschalen mit thermoplastischer folienversiegelung, im besonderen zur herstellung von verpackungen unter modifizierter atmosphäre