Pulled a ~ 600 € DeLonghi coffee maker out of the dumpster and invested about 50 € in spare parts (water tank, grounds container, and a new magnet valve). Seems like I have a new coffee machine now 😁☕
(It would have gone even faster and without a puddle on the kitchen counter if I had put in the gaskets from the start. 🤦 Ah well.)