Spezifikation verwerfen und neu starten