DNS names of supernodes are identified by their "sn.ffnw.de" prefix. This...

DNS names of supernodes are identified by their "sn.ffnw.de" prefix. This needs to be done carefully or it will lead to much confusion! Added new dns entries also on our nameservers (in addition to the old names).