som erhöll namnet » Carl XI ».