the dns restorer does not always work when tearing down the firewall
the dns restorer does seem to be working always. i'm testing it with openresolv.
(from redmine: created on 2014-05-20, closed on 2014-05-21, relates #5588 (closed), relates #5691 (closed))