No matches were found for subject:"Bug#893394\: debian\-edu\-install\: FQDN wrongly ends up in \/etc\/hostname on tjener"