Dieter da hast Du natürlich Recht. Aber auch 8 mm mehr Auszugsweg und das reicht normal.
Es kommt äußerst selten vor das das Gehäuse den Deckel berührt, mir sind noch keine 10 Fälle bekannt und bei den meisten war es ein Fehler beim Einbau.
Normalerweise passt das ganz genau.