Hotpoint RGB745GER User Manual