@oz that explains it. Oh well. Interestingly, though, Germany's prices never made it to that level, because oil companies simply raised prices...