Krups GVX2 replacement grinds lid

I gave my daughter quite a nice coffee grinder. It appeared 6 months later during an apartment move in the "ditch" bin; "It never worked after the first day". Turns out the grind container has a LID that interlocks the grinder; the machine does not work without it! I guess the original lid inadvertently disappeared itself...

Time for some 3D printing. This replacement lid fits perfectly. I guess that's where these things come in handy! There is a plain version and variant that includes a gri