## HILDESHEIM (Hannover, Germany)
checkgroups:fifi@hiss.han.de:hildesheim.*:doit
newgroup:fifi@hiss.han.de:hildesheim.*:doit
rmgroup:fifi@hiss.han.de:hildesheim.*:doit