DENIC closing in on another milestone : 15 million .DE domain names