Additional info: it happened, occasionally, that DNS started working again after some time (and stopped working again shortly after), but I'm not sure what triggered that.
Additional info:
it happened, occasionally, that DNS started working again after some time (and stopped working again shortly after), but I'm not sure what triggered that.