I was there in 2017, and it was €10,50 if my memory doesn't fool me..