Naja, damals stand der Euro noch bei 0,85 Dollar - das relativiert die ganze Sache etwas