Officiella handlingar uppginva dock,