anlända konungen och Lohengrin.