“What size is the portafilter in millimeters?”