Stav dette: Definable henselian valuations