Fred, in all likely hood the plugs spec'ed in the manual are no longer made.

But going to the BOSCH USA website and using the plug finder app will list all of the plugs currently made and recommended by BOSCH, MB's OEM supplier.