Unsere HOME-dir Struktur stammt aus der Zeit, wo
	  man Studenten und Professoren auf verschiedenen
	  Servern hatte, und Plattenplatz immer wieder knapp
	  wurde. Daher hat man gruppenweise mount-points
	  angelegt. Mit ZFS ist das jetzt sehr obsolet.
	  Idealerweise wuerde man einfach alle user HOMEs nach
	  /usr/home/$username legen, und mit einer einzigen
	  auto.home map 
		*	ziusudra:/zpool/foo/bar/&
	  waere dann alles erledigt. Geht leider nicht,
	  weil viele Programme ueberfluessigerweise den
	  frueheren Wert von $HOME in diverse dot-Files
	  geschrieben haben :/ Z.B. merkt sich Firefox,
	  dass Downloads in das alte /usr/home/$group/$name/Downloads
	  geschrieben werden, was dann entweder Fehler schmeisst,
	  oder eben auf den alten Server schreibt, wos 
	  keiner mehr findet. Workaround: auf ziusudra
	  gibts ein /zpool/foo/bar/fakegroups, wo alle
	  softlinks zu allen HOMEs drin sind, so dass der
	  alte Pfad noch stimmt, waehrend gleichzeitig alle
	  HOMEs unter /usr/home gemountet sind. Nachteil:
	  wir kommen nicht mehr so einfach an die alten Versionen
	  von den HOMEs (aber wir haben zfs snaphosts davon).
	  Weiterer Vorteil: wir koennen problemlos Leute von
	  Gruppe zu Gruppe schieben