Eine ausreichend detaillierte Spezifikation ist kein Code