11 afreste konungen till Saarbrucken,