User manual Bosch GDE 12 Professional (English - 33 pages)