Replacement part for Krups filter-holder

One pin of the small plastic part of a Krups filter-holder broke. I managed to recreate the part with my 3D Printer and now its time to share my first 3D printable object i ever made :) I marked this one as WIP because i plan to add the .scad file as soon as i cleaned the file a bit.