Roo7 had them set some time ago...dunno if I can find them.
I'll steam message you with the tags...dunno if they're still active [with the server swapping and stuff]
No wait I'll post them here too Roo7 said "go nuts"
Hewwo,
as I sometimes move from one PC to another, Steam tends to forget my server Favourites and history.
This annoyed the hell out of me, since I always had to go to the website and find out the server details, and copy&paste them into the Steam interface.
Therefore I have just added some DNS aliases for our servers. One can now simply connect to:
wdg1.r007.de:27016
wdg2.r007.de (no port necessary, since its the default port)
wdg-l4d.r007.de (likewise)
If anyone wants to use them, go nuts. It's not like the few bytes of DNS traffic would kill me.

Please tell me if I should remove this as I dunno if it's okay with you Roo7