"A third warning indicates when 515 miles are left and also warns that the DEF tank needs re-filling or the vehicle will not be able re-start when the distance countdown reaches 0."

Wow.

"The engine will only start again when the DEF tank is re-filled."

And thus the the "faulty DEF sensor" malfunction is introduced into our car fault lexicon.