/**
  * Gibt eine Liste der Plätze in diesem Kinosaal zurück.
  *
  * @ensure result != null
  */
 public List<Platz> getPlaetze() {
   List<Platz> kinoPlaetze = new ArrayList<Platz>();
   int reihen = getAnzahlReihen();
   int plaetze = getAnzahlSitzeProReihe();
   for (int i = 0; i < reihen; i++) {
     for (int j = 0; j < plaetze; j++) {
       Platz platz = Platz.get(i, j);
       kinoPlaetze.add(platz);
     }
   }
   return kinoPlaetze;
 }
  /**
   * Prüft, ob es den angegebenen Platz in dem Kinosaal gibt.
   *
   * @param platz der Platz.
   * @return <code>true</code>, falls der Platz existiert, <code>false</code> sonst.
   * @require platz != null
   */
  public boolean hatPlatz(Platz platz) {
    assert platz != null : "Vorbedingung verletzt: platz != null";

    return ((platz.getReihe() >= 0) && (platz.getReihe() < _anzahlReihen))
        && ((platz.getSitz() >= 0) && (platz.getSitz() < _anzahlSitzeProReihe));
  }