Man vill veta , att konungen afPortugal