This section is obsolete.
VERY IMPORTANT: put exactly the following in /etc/krb5.conf -- no more, no less (or actually, look up how it's done on Fritz or Hopper).
[libdefaults]
default_realm = HCOOP.NET
kdc_timesync = 1
forwardable = true
proxiable = true
rdns = no # undocumented option to disable reverse DNS lookups
[logging]
default = FILE:/proc/self/fd/2We distribute our Kerberos configuration via DNS, so it is very important that we do not "hardwire" the settings on any of the servers (except the KDCs themselves). If we did, we wouldn't notice at first, but strange problems would crop up as soon as the DNS settings were changed. So, it is important that we put only the bare minimum amount of information in krb5.conf.