Coffee machines and coffee makers