+Eine Spefikation hinzugefügt