IR group DHCP servers:

130 subnet: dns.mpe-garching.mpg.de (130.183.137.72)

134 subnet: sharp.mpe-garching.mpg.de (130.183.134.134)

WARNING : !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!