Skizziere ein Entscheidungsverfahren für die Frage, ob eine diophantische Gleichung in einer Variablen eine Lösung besitzt oder nicht.
