IR group DHCP servers:

130 subnet: dns.mpe-garching.mpg.de (130.183.137.72)
          : /etc/dhcp3/dhcpd.conf

134 subnet: sharp.mpe-garching.mpg.de (130.183.134.134)
          : /etc/dhcpd.conf
WARNING   : !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
            !!!! Does not start automatically after reboot !!!!
            !!!! Issue /etc/init.d/dhcp start manually     !!!!
            !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!