4775 = {
  "000"  # Lippe
  "00000"  # Detmold
}