diff options
Diffstat (limited to 'macros/latex/contrib/phonenumbers/tex/phn-UK_Vorwahlen.tex')
-rw-r--r-- | macros/latex/contrib/phonenumbers/tex/phn-UK_Vorwahlen.tex | 1311 |
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} |