Thank you, Bosch, for having a site from which I can download decent operating manuals after entering the device model number (which took me a moment to find as I couldn't read the metal-on-metal plate, but I got it).

My dishwasher, codenamed E22 today, also says 'thanks'!