diff -r c3b937e8597b -r 7e5e5ebb7bf7 Admin/user-aliases
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/user-aliases	Sun Jan 18 21:12:06 2009 +0100
@@ -0,0 +1,3 @@
+norbert.schirmer@web.de schirmer
+urbanc@in.tum.de> urbanc
+nipkow@lapbroy100.local nipkow
\ No newline at end of file