Detta var alltså detjdokument,