coffee machine drip tray replacement clip

Unfortunately, my daughter broke that rear finger on the drip tray of our coffee machine when cleaning it. That finger engages a microswitch that tells the coffee machine whether the drip tray is inserted or not.

So I've designed a replacement part.

Usage:
Use a file / Dremel / ... to remove all remains of that finger from the drip tray, so that the surface is flush.
Then, cut a 3 mm deep notch into the tray, like shown on the picture. This is for indexing, so the replacement clip can reliably engage that microswitch.

At first, I wanted to glue the replacement clip into place. But it turned out that this is not necessary - it does work very good without glue. This way, I still can remove the PLA clip when putting the tray into the dishwasher.

Should fit following machines:

Bosch Benvenuto B20
Bosch Benvenuto B25
Bosch Benvenuto B30
Bosch Benvenuto B40
Bosch Benvenuto B60
Bosch Benvenuto B65
Bosch Benvenuto B70
Bosch Benvenuto B75

Siemens Surpresso S20
Siemen