deckel ist nicht schlimm. viele 5513 haben einen 5512 Deckel ab werk. Das ist fast normal. Meine hat auch so einen Deckel und ich habe hier im Forum gehört, dass die damals eben noch über waren und es nicht ungewöhnlich sei