He cambiado la SIM de mi Galaxy-Nexus-S. En Settings -> About phone -> Status
sigue existiendo el antiguo número de teléfono y no consigo cambiarlo.
He visto esta respuesta que es obsoleta. La opción de menú Own numbers
descrito en la respuesta no existe en ICS.
Los términos de navegación pueden llamarse de otra manera, ya que he traducido manualmente los nombres del alemán.