«localPrecondition»                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       Bestellung bearbeiten                                                                                                                                                                                                                                                                                                      «localPostcondition»          
                               alle Artikel sind lieferbar                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Bestellstatus ist "bearbeitet"