[rwth-security] Enable encrypted DNS