och ungerska officiella tidningarna.