A fix for Soda Stream trigger

Trigger broke on my wifes Soda stream. 80 bucks at least to replace the whole device, but instead I copied the trigger and 3D printed a new one. A bit of trial and error and caliper measurements, but eventually got something that fit. Printed in PETG as it needed to be stronger than PLA. There are similar things on here (e.g. https://www.thingiverse.com/thing:2966306), I probably shoulda looked for one before creating this :P