Hotpoint RGB747GER User Manual