Devisen: Euro steigt zeitweise über 1,16 Dollar - Höchster Stand seit Mitte Juni