Not having a Root in Number Fields is Diophantine - Philip Dittmann (2016)