Repair of coffee machines