Gas hits $9.50 in Germany!

We paid $9 in May. Now it's July and the average price for a liter gasoline is €1.60. That's €6.06 for the gallon. At the current rate $9.51.