The existential theory of equicharacteristic henselian valued fields - Will Anscombe; Arno Fehm (2015)