illa om konungen i Danmark — konungariket Laputa ."