Comment by coccinelle

My recently acquired Bosch dishwasher does a fine job.