högtidssammaokomst af konungen till uppfinnaren.