summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/phonenumbers/tex/phn-UK_Vorwahlen.tex
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/phonenumbers/tex/phn-UK_Vorwahlen.tex')
-rw-r--r--macros/latex/contrib/phonenumbers/tex/phn-UK_Vorwahlen.tex1311
1 files changed, 1311 insertions, 0 deletions
diff --git a/macros/latex/contrib/phonenumbers/tex/phn-UK_Vorwahlen.tex b/macros/latex/contrib/phonenumbers/tex/phn-UK_Vorwahlen.tex
new file mode 100644
index 0000000000..b471389c15
--- /dev/null
+++ b/macros/latex/contrib/phonenumbers/tex/phn-UK_Vorwahlen.tex
@@ -0,0 +1,1311 @@
+% phonenumbers package: British area codes
+% Datum: 5. August 2018
+\clist_const:Nn \c_phone_UK_ortsvorwahlen_clist {0113,
+0114,
+0115,
+0116,
+0117,
+0118,
+01200,
+01202,
+01204,
+01205,
+01206,
+01207,
+01208,
+01209,
+0121,
+01223,
+01224,
+01225,
+01226,
+01227,
+01228,
+01229,
+01233,
+01234,
+01235,
+01236,
+01237,
+01239,
+01241,
+01242,
+01243,
+01244,
+01245,
+01246,
+01248,
+01249,
+01250,
+01252,
+01253,
+01254,
+01255,
+01256,
+01257,
+01258,
+01259,
+01260,
+01261,
+01262,
+01263,
+01264,
+01267,
+01268,
+01269,
+01270,
+01271,
+01273,
+01274,
+01275,
+01276,
+01277,
+01278,
+01279,
+01280,
+01282,
+01283,
+01284,
+01285,
+01286,
+01287,
+01288,
+01289,
+01290,
+01291,
+01292,
+01293,
+01294,
+01295,
+01296,
+01297,
+01298,
+01299,
+01300,
+01301,
+01302,
+01303,
+01304,
+01305,
+01306,
+01307,
+01308,
+01309,
+0131,
+01320,
+01322,
+01323,
+01324,
+01325,
+01326,
+01327,
+01328,
+01329,
+01330,
+01332,
+01333,
+01334,
+01335,
+01337,
+01339,
+01340,
+01341,
+01342,
+01343,
+01344,
+01346,
+01347,
+01348,
+01349,
+01350,
+01352,
+01353,
+01354,
+01355,
+01356,
+01357,
+01358,
+01359,
+01360,
+01361,
+01362,
+01363,
+01364,
+01366,
+01367,
+01368,
+01369,
+01371,
+01372,
+01373,
+01375,
+01376,
+01377,
+01379,
+01380,
+01381,
+01382,
+01383,
+01384,
+01386,
+01387,
+013873,
+01388,
+01389,
+01392,
+01394,
+01395,
+01397,
+01398,
+01400,
+01403,
+01404,
+01405,
+01406,
+01407,
+01408,
+01409,
+0141,
+01420,
+01422,
+01423,
+01424,
+01425,
+01427,
+01428,
+01429,
+01430,
+01431,
+01432,
+01433,
+01434,
+01435,
+01436,
+01437,
+01438,
+01439,
+01440,
+01442,
+01443,
+01444,
+01445,
+01446,
+01449,
+01450,
+01451,
+01452,
+01453,
+01454,
+01455,
+01456,
+01457,
+01458,
+01460,
+01461,
+01462,
+01463,
+01464,
+01465,
+01466,
+01467,
+01469,
+01470,
+01471,
+01472,
+01473,
+01474,
+01475,
+01476,
+01477,
+01478,
+01479,
+01480,
+01481,
+01482,
+01483,
+01484,
+01485,
+01487,
+01488,
+01489,
+01490,
+01491,
+01492,
+01493,
+01494,
+01495,
+01496,
+01497,
+01499,
+01501,
+01502,
+01503,
+01505,
+01506,
+01507,
+01508,
+01509,
+0151,
+01520,
+01522,
+01524,
+015242,
+01525,
+01526,
+01527,
+01528,
+01529,
+01530,
+01531,
+01534,
+01535,
+01536,
+01538,
+01539,
+015394,
+015395,
+015396,
+01540,
+01542,
+01543,
+01544,
+01545,
+01546,
+01547,
+01548,
+01549,
+01550,
+01553,
+01554,
+01555,
+01556,
+01557,
+01558,
+01559,
+01560,
+01561,
+01562,
+01563,
+01564,
+01565,
+01566,
+01567,
+01568,
+01569,
+01570,
+01571,
+01572,
+01573,
+01575,
+01576,
+01577,
+01578,
+01579,
+01580,
+01581,
+01582,
+01583,
+01584,
+01586,
+01588,
+01590,
+01591,
+01592,
+01593,
+01594,
+01595,
+01597,
+01598,
+01599,
+01600,
+01603,
+01604,
+01606,
+01608,
+01609,
+0161,
+01620,
+01621,
+01622,
+01623,
+01624,
+01625,
+01626,
+01628,
+01629,
+01630,
+01631,
+01633,
+01634,
+01635,
+01636,
+01637,
+01638,
+01639,
+01641,
+01642,
+01643,
+01644,
+01646,
+01647,
+01650,
+01651,
+01652,
+01653,
+01654,
+01655,
+01656,
+01659,
+01661,
+01663,
+01664,
+01665,
+01666,
+01667,
+01668,
+01669,
+01670,
+01671,
+01672,
+01673,
+01674,
+01675,
+01676,
+01677,
+01678,
+01680,
+01681,
+01683,
+01684,
+01685,
+01686,
+01687,
+01688,
+01689,
+01690,
+01691,
+01692,
+01694,
+01695,
+01697,
+016973,
+016974,
+016977,
+01698,
+01700,
+01702,
+01704,
+01706,
+01707,
+01708,
+01709,
+01720,
+01721,
+01722,
+01723,
+01724,
+01725,
+01726,
+01727,
+01728,
+01729,
+01730,
+01732,
+01733,
+01736,
+01737,
+01738,
+01740,
+01743,
+01744,
+01745,
+01746,
+01747,
+01748,
+01749,
+01750,
+01751,
+01752,
+01753,
+01754,
+01756,
+01757,
+01758,
+01759,
+01760,
+01761,
+01763,
+01764,
+01765,
+01766,
+01767,
+01768,
+017683,
+017684,
+017687,
+01769,
+01770,
+01771,
+01772,
+01773,
+01775,
+01776,
+01777,
+01778,
+01779,
+01780,
+01782,
+01784,
+01785,
+01786,
+01787,
+01788,
+01789,
+01790,
+01792,
+01793,
+01794,
+01795,
+01796,
+01797,
+01798,
+01799,
+01803,
+01805,
+01806,
+01807,
+01808,
+01809,
+01821,
+01822,
+01823,
+01824,
+01825,
+01827,
+01828,
+01829,
+01830,
+01832,
+01833,
+01834,
+01835,
+01837,
+01838,
+01840,
+01841,
+01842,
+01843,
+01844,
+01845,
+01847,
+01848,
+01851,
+01852,
+01854,
+01855,
+01856,
+01857,
+01858,
+01859,
+01862,
+01863,
+01864,
+01865,
+01866,
+01869,
+01870,
+01871,
+01872,
+01873,
+01874,
+01875,
+01876,
+01877,
+01878,
+01879,
+01880,
+01882,
+01883,
+01884,
+01885,
+01886,
+01887,
+01888,
+01889,
+01890,
+01892,
+01895,
+01896,
+01899,
+01900,
+01902,
+01903,
+01904,
+01905,
+01908,
+01909,
+0191,
+01920,
+01922,
+01923,
+01924,
+01925,
+01926,
+01928,
+01929,
+01931,
+01932,
+01933,
+01934,
+01935,
+01937,
+01938,
+01939,
+01942,
+01943,
+01944,
+01945,
+01946,
+019467,
+01947,
+01948,
+01949,
+01950,
+01951,
+01952,
+01953,
+01954,
+01955,
+01957,
+01959,
+01962,
+01963,
+01964,
+01967,
+01968,
+01969,
+01970,
+01971,
+01972,
+01974,
+01975,
+01977,
+01978,
+01980,
+01981,
+01982,
+01983,
+01984,
+01985,
+01986,
+01987,
+01988,
+01989,
+01992,
+01993,
+01994,
+01995,
+01997,
+020,
+023,
+024,
+028,
+029}
+\clist_const:Nn \c_phone_UK_obligatorische_ortsvorwahlen_clist {01202,
+01224,
+01273,
+01274,
+01642,
+01908}
+\clist_const:Nn \c_phone_UK_sondervorwahlen_clist {0300,
+0303,
+0306,
+0330,
+0331,
+0333,
+0343,
+0344,
+0345,
+0370,
+0371,
+0372,
+05511,
+05516,
+05555,
+05588,
+05600,
+05601,
+05602,
+05603,
+07000,
+07002,
+07003,
+07004,
+07005,
+07006,
+07008,
+07009,
+07010,
+07011,
+07012,
+07013,
+07014,
+07015,
+07016,
+07017,
+07018,
+07019,
+07020,
+07021,
+07022,
+07023,
+07024,
+07026,
+07027,
+07028,
+07029,
+07030,
+07031,
+07032,
+07033,
+07034,
+07035,
+07036,
+07037,
+07038,
+07039,
+07040,
+07041,
+07042,
+07043,
+07044,
+07045,
+07046,
+07047,
+07048,
+07049,
+07050,
+07052,
+07053,
+07054,
+07055,
+07056,
+07057,
+07058,
+07059,
+07060,
+07061,
+07062,
+07063,
+07064,
+07065,
+07066,
+07067,
+07068,
+07069,
+07070,
+07071,
+07072,
+07073,
+07074,
+07076,
+07077,
+07078,
+07079,
+07080,
+07081,
+07082,
+07083,
+07084,
+07085,
+07086,
+07087,
+07088,
+07089,
+07090,
+07091,
+07092,
+07093,
+07094,
+07096,
+07098,
+07099,
+07106,
+07107,
+07300,
+07301,
+07302,
+07303,
+07304,
+07305,
+07306,
+07307,
+07308,
+07309,
+07310,
+07311,
+07312,
+07340,
+07341,
+07342,
+07365,
+07366,
+07367,
+07368,
+07369,
+07375,
+07376,
+07377,
+07378,
+07379,
+07380,
+07381,
+07382,
+07383,
+07384,
+07385,
+07386,
+07387,
+07388,
+07389,
+07390,
+07391,
+07392,
+07393,
+07394,
+07395,
+07396,
+07397,
+07398,
+07399,
+07400,
+07401,
+07402,
+07403,
+07404,
+07405,
+07406,
+07407,
+07408,
+07409,
+07410,
+07411,
+07412,
+07413,
+07414,
+07415,
+07416,
+07417,
+07418,
+07419,
+07420,
+07421,
+07422,
+07423,
+07424,
+07425,
+07426,
+07427,
+07428,
+07429,
+07430,
+07431,
+07432,
+07433,
+07434,
+07435,
+07436,
+07437,
+07438,
+07439, % nicht mehr in Gebrauch
+07440,
+07441,
+07442,
+07443,
+07444,
+07445,
+07446,
+07447,
+07448,
+07449,
+07450,
+07451,
+07452,
+07453,
+07454,
+07455,
+07456,
+07457,
+07458,
+07459,
+07460,
+07461,
+07462,
+07463,
+07464,
+07465,
+07466,
+07467,
+07468,
+07469,
+07470,
+07471,
+07472,
+07473,
+07474,
+07475,
+07476,
+07477,
+07478,
+07479,
+07480,
+07481,
+07482,
+07483,
+07484,
+07485,
+07486,
+07487,
+07488,
+07489,
+07490,
+07491,
+07492,
+07493,
+07494,
+07495,
+07496,
+07497,
+07498,
+07499,
+07500,
+07501,
+07502,
+07503,
+07504,
+07505,
+07506,
+07507,
+07508,
+07509,
+07510,
+07511,
+07512,
+07513,
+07514,
+07515,
+07516,
+07517,
+07518,
+07519,
+07520,
+07521,
+07522,
+07523,
+07525,
+07526,
+07527,
+07528,
+07529,
+07530,
+07531,
+07532,
+07533,
+07534,
+07535,
+07536,
+07537,
+07538,
+07539,
+07540,
+07541,
+07542,
+07543,
+07544,
+07545,
+07546,
+07547,
+07548,
+07549,
+07550,
+07551,
+07552,
+07553,
+07554,
+07555,
+07556,
+07557,
+07558,
+07559,
+07560,
+07561,
+07562,
+07563,
+07564,
+07565,
+07566,
+07567,
+07568,
+07569,
+07570,
+07572,
+07573,
+07574,
+07575,
+07576,
+07577,
+07578,
+07579,
+07580,
+07581,
+07582,
+07583,
+07584,
+07585,
+07586,
+07587,
+07588,
+07589,
+07590,
+07591,
+07592,
+07593,
+07594,
+07595,
+07596,
+07597,
+07598,
+07599,
+07600,
+07602,
+07623,
+07624,
+07625,
+07626,
+07640,
+07641,
+07644,
+07654,
+07659,
+07660,
+07661,
+07663,
+07666,
+07669,
+07677,
+07681,
+07693,
+07699,
+07700,
+07701,
+07702,
+07703,
+07704,
+07705,
+07706,
+07707,
+07708,
+07709,
+07710,
+07711,
+07712,
+07713,
+07714,
+07715,
+07716,
+07717,
+07718,
+07719,
+07720,
+07721,
+07722,
+07723,
+07724,
+07725,
+07726,
+07727,
+07728,
+07729,
+07730,
+07731,
+07732,
+07733,
+07734,
+07735,
+07736,
+07737,
+07738,
+07739,
+07740,
+07741,
+07742,
+07743,
+07744,
+07745,
+07746,
+07747,
+07748,
+07749,
+07750,
+07751,
+07752,
+07753,
+07754,
+07755,
+07756,
+07757,
+07758,
+07759,
+07760,
+07761,
+07762,
+07763,
+07764,
+07765,
+07766,
+07767,
+07768,
+07769,
+07770,
+07771,
+07772,
+07773,
+07774,
+07775,
+07776,
+07777,
+07778,
+07779,
+07780,
+07781,
+07782,
+07783,
+07784,
+07785,
+07786,
+07787,
+07788,
+07789,
+07790,
+07791,
+07792,
+07793,
+07794,
+07795,
+07796,
+07797,
+07798,
+07799,
+07800,
+07801,
+07802,
+07803,
+07804,
+07805,
+07806,
+07807,
+07808,
+07809,
+07810,
+07811,
+07812,
+07813,
+07814,
+07815,
+07816,
+07817,
+07818,
+07819,
+07820,
+07821,
+07822,
+07823,
+07824,
+07825,
+07826,
+07827,
+07828,
+07829,
+07830,
+07831,
+07832,
+07833,
+07834,
+07835,
+07836,
+07837,
+07838,
+07839,
+07840,
+07841,
+07842,
+07843,
+07844,
+07845,
+07846,
+07847,
+07848,
+07849,
+07850,
+07851,
+07852,
+07853,
+07854,
+07855,
+07856,
+07857,
+07858,
+07859,
+07860,
+07861,
+07862,
+07863,
+07864,
+07865,
+07866,
+07867,
+07868,
+07869,
+07870,
+07871,
+07872,
+07873,
+07874,
+07875,
+07876,
+07877,
+07878,
+07879,
+07880,
+07881,
+07882,
+07883,
+07884,
+07885,
+07886,
+07887,
+07888,
+07889,
+07890,
+07891,
+07892,
+07893,
+07894,
+07895,
+07896,
+07897,
+07898,
+07899,
+07900,
+07901,
+07902,
+07903,
+07904,
+07905,
+07906,
+07907,
+07908,
+07909,
+07910,
+07911,
+07912,
+07913,
+07914,
+07915,
+07916,
+07917,
+07918,
+07919,
+07920,
+07921,
+07922,
+07923,
+07924,
+07925,
+07926,
+07927,
+07928,
+07929,
+07930,
+07931,
+07932,
+07933,
+07934,
+07935,
+07936,
+07937,
+07938,
+07939,
+07940,
+07941,
+07942,
+07943,
+07944,
+07945,
+07946,
+07947,
+07948,
+07949,
+07950,
+07951,
+07952,
+07953,
+07954,
+07955,
+07956,
+07957,
+07958,
+07959,
+07960,
+07961,
+07962,
+07963,
+07964,
+07965,
+07966,
+07967,
+07968,
+07969,
+07970,
+07971,
+07972,
+07973,
+07974,
+07975,
+07976,
+07977,
+07978,
+07979,
+07980,
+07981,
+07982,
+07983,
+07984,
+07985,
+07986,
+07987,
+07988,
+07989,
+07990,
+07999,
+0800,
+0808,
+0820,
+0843,
+0844,
+0845,
+0870,
+0871,
+0872,
+0899,
+0900,
+0901,
+0902,
+0903,
+0904,
+0905,
+0906,
+0907,
+0911,
+0912,
+0913}