Códigos INE de municipios

He venido observando que hay una codificación INE de 6 dígitos en lugar de los 5 dígitos tradicionales. Por ejemplo, donde Sevilla solía tener un código INE 41091, ahora tiene un nuevo código 410917. Este código es el mismo que el anterior, más un dígito adicional que a priori parece ser un dígito de control.

Parece ser que la codificación es la anterior, con la adición de un sexto dígito de control, como se menciona en esta dirección («el último es un dígito de control que, asignado mediante una regla de cálculo, permite la detección de errores de grabación y modificación»).

Sin embargo, no he sido capaz de encontrar ninguna referencia a cómo se realiza este cálculo. En anexos de algunos documentos he encontrado referencias a un cálculo basado en un módulo 11, pero he comprobado que ésta no es la vía correcta.

Posibilidades:

  • El dígito se calcula mediante una fórmula arcana guardada en secreto por alquimistas que perduran desde la época de la piedra filosofal.
  • Es más fácil, pero no está en Google.
  • Está en Google, pero no sé buscar.
  • Es un número aleatorio para jorobar, realmente es una nueva codificación y punto, a guardarla en base de datos. Lo que pusieron mencionando una «regla de cálculo» era para despistar.