Enligt det officiela referatet,