Der Mineralölkonzern hatte am Mittwoch mit einem Gasleck zu kämpfen.