kommer att , efter konungen , benämnas Carlsbad.