Tagged diesel-exhaust-fluid