Den officiella tidningen i Madrid innelöll den 19 dennesett