DE Channel Assignments

I use this to renumber the channels from my German cable provider:

use mythconverg;

## These are the channels we want in our list
## comment out any you dont want to reduce EPG clutter
# numbering taken from http://de.wikipedia.org/wiki/Liste_deutscher_Fernsehsender#Fernsehen_2
update channel SET channum=1001, visible=1 WHERE name='Das Erste HD';
update channel SET channum=1002, visible=1 WHERE name='ZDF HD';
update channel SET channum=1009, visible=1 WHERE name='3sat HD';
update channel SET channum=1010, visible=1 WHERE name='arte HD';
update channel SET channum=1017, visible=1 WHERE name='NDR FS NDS HD';
update channel SET channum=1018, visible=1 WHERE name='NDR FS HH HD';
update channel SET channum=1019, visible=1 WHERE name='NDR FS SH HD';
update channel SET channum=1020, visible=1 WHERE name='NDR FS MV HD';
update channel SET channum=1025, visible=1 WHERE name='SWR RP HD';
update channel SET channum=1026, visible=1 WHERE name='SWR BW HD';
update channel SET channum=1027, visible=1 WHERE name='BR Nord HD';
update channel SET channum=1028, visible=1 WHERE name='BR Süd HD';
update channel SET channum=1057, visible=1 WHERE name='zdf_neo HD';
update channel SET channum=1058, visible=1 WHERE name='ZDFinfo HD';
update channel SET channum=1059, visible=1 WHERE name='zdf.kultur HD';
update channel SET channum=1062, visible=1 WHERE name='KiKA HD';
update channel SET channum=1093, visible=1 WHERE name='PHOENIX HD';
update channel SET channum=1094, visible=1 WHERE name='WDR HD Köln';
update channel SET channum=1101, visible=1 WHERE name='Das Erste';
update channel SET channum=1102, visible=1 WHERE name='ZDF';
update channel SET channum=1103, visible=1 WHERE name='RTL Mþnchen';
update channel SET channum=1104, visible=1 WHERE name='SAT.1';
update channel SET channum=1105, visible=1 WHERE name='ProSieben';
update channel SET channum=1106, visible=1 WHERE name='RTL2';
update channel SET channum=1107, visible=1 WHERE name='kabel eins';
update channel SET channum=1108, visible=1 WHERE name='VOX';
update channel SET channum=1109, visible=1 WHERE name='3sat';
update channel SET channum=1110, visible=1 WHERE name='ARTE';
update channel SET channum=1111, visible=1 WHERE name='SUPER RTL';
update channel SET channum=1113, visible=1 WHERE name='WDR Köln';
update channel SET channum=1116, visible=1 WHERE name='hr-fernsehen';
update channel SET channum=1117, visible=1 WHERE name='NDR FS NDS';
update channel SET channum=1118, visible=1 WHERE name='NDR FS HH';
update channel SET channum=1119, visible=1 WHERE name='NDR FS SH';
update channel SET channum=1120, visible=1 WHERE name='NDR FS MV';
update channel SET channum=1122, visible=1 WHERE name='MDR Sachsen';
update channel SET channum=1123, visible=1 WHERE name='MDR S-Anhalt';
update channel SET channum=1124, visible=1 WHERE name='MDR Thüringen';
update channel SET channum=1125, visible=1 WHERE name='SWR Fernsehen RP';
update channel SET channum=1126, visible=1 WHERE name='SWR Fernsehen BW';
update channel SET channum=1127, visible=1 WHERE name='Bayerisches FS Nord';
update channel SET channum=1128, visible=1 WHERE name='Bayerisches FS Süd';
update channel SET channum=1129, visible=1 WHERE name='rbb Berlin';
update channel SET channum=1130, visible=1 WHERE name='rbb Brandenburg';
update channel SET channum=1135, visible=1 WHERE name='rhein main tv - CV';
update channel SET channum=1136, visible=1 WHERE name='RTL Regional NRW';
update channel SET channum=1137, visible=1 WHERE name='RTL HB NDS';
update channel SET channum=1138, visible=1 WHERE name='RTL FS';
update channel SET channum=1139, visible=1 WHERE name='NICK/COMEDY - CV';
update channel SET channum=1140, visible=1 WHERE name='ORF2 - CV';
update channel SET channum=1141, visible=1 WHERE name='Channel 21';
update channel SET channum=1142, visible=1 WHERE name='1-2-3.tv - CV';
update channel SET channum=1215, visible=1 WHERE name='EinsPlus';
update channel SET channum=1216, visible=1 WHERE name='tagesschau24';
update channel SET channum=1217, visible=1 WHERE name='zdf_neo';
update channel SET channum=1218, visible=1 WHERE name='ZDFinfo';
update channel SET channum=1219, visible=1 WHERE name='BR-alpha';
update channel SET channum=1220, visible=1 WHERE name='SAT.1 Bayern';
update channel SET channum=1221, visible=1 WHERE name='SAT.1 NRW';
update channel SET channum=1222, visible=1 WHERE name='DMAX - CV';
update channel SET channum=1235, visible=1 WHERE name='Bibel TV - CV';
update channel SET channum=1236, visible=1 WHERE name='K-TV - CV';
update channel SET channum=1241, visible=1 WHERE name='VIVA Germany - CV';
update channel SET channum=1246, visible=1 WHERE name='DELUXE MUSIC - CV';
update channel SET channum=1262, visible=1 WHERE name='KiKA';
# Encrypted
update channel SET channum=1263, visible=0 WHERE name='Disney Junior';
update channel SET channum=1280, visible=1 WHERE name='SAT.1 Gold';
update channel SET channum=1281, visible=1 WHERE name='SIXX - CV';
update channel SET channum=1290, visible=1 WHERE name='Einsfestival';
update channel SET channum=1291, visible=1 WHERE name='zdf.kultur';
update channel SET channum=1308, visible=1 WHERE name='RTLNITRO';
update channel SET channum=1310, visible=1 WHERE name='TELE 5 - CV';
update channel SET channum=1501, visible=1 WHERE name='n-tv';
update channel SET channum=1502, visible=1 WHERE name='N24';
update channel SET channum=1503, visible=1 WHERE name='PHOENIX';