// Lager.java
// -------------------------------------------------------------
class Lager {
  int len = 5;                  // Lagergröße
  int[] lager = new int[len];   // Eigentliches Lager
  int z=-1;                     // Füllstandzeiger: Leeres Lager
  synchronized void put(int artikel) {
    z++;
    lager[z] = artikel;
  }
  synchronized int get() {
    int artikel = lager[z];
    z--;
    return artikel;
  }
}