Spezifikation vervollständigt