Don't know about the Bosch but I'd still consider the Whirlpool.
My partner's sister had an old Candy Turbomatic which I gave her - orphan import - it sold her on front loaders. When it eventually carked it, she bought a base model 600 rpm spin Whirlpool. She loves it. They (family of 4) only wash on weekends, it starts Saturday morning and virtually doesn't stop till Sunday night. It has never needed service - now about 5 years old, good as new.
She likes it so much, when they built a set of 4 holiday apartments to rent out, they fitted 4 of the same machine. When they bought the 4, 2 arrived the wrong model, one was badly damaged in the box, 1 was fine! The other 3 were replaced, now all 4 get regular use from customers and all are surviving.
I have the 800 rpm version as a repairer - the main drum supports are corroded out due to detergent residue. It was used as a dish towel washer by a restaurant using cold water and detergent slopped in, not measured. When I got it it was filthy, dispenser completely blocked with detergent residue so water just ran down the front when it filled. I got it back on the road but the damage was done by the last moron owner and it only lasted a few weeks before the corroded drum support snapped. I still have the remains, I intend to repair it when I get another drum. I am impressed by the model - very easy to work on and clearly designed to be repairable, not disposable. I thought it was fairly quiet for a European front loader, many of which are noisy. The cycle times are pretty long.
This machine looks like Mike's photo, though being a lower model it has less buttons.
I also "repaired" a later model Whirlpool FL - it was ex-rental, about 3 years old and dumped at the recycler. It looked good so I bought it for $15 - the "fault" turned out to be a blocked pump strainer. I just removed a couple of $ in coins, (lowering the purchase price!!) and accumulated lumps of lint and debris, and it was on the road again. I have since given that machine away, new owner is very happy with it.
So I vote for the Whirlpool.
Cheaper Bosches sold here are made in Thailand - I'd be very wary.
Chris.