Tagged diesel-fuel