Rufen Sie die Methoden fuellenRechts, fuellenLinks, entleerenRechts und entleerenLinks der Klasse lehrbuch.ZweiEimer in einem Programm auf. Übersetzen Sie es, und beobachten Sie seine Wirkung. Untersuchen Sie anschließend die Spezifikation der Klasse ZweiEimer und ergänzen Sie Ihr Programm so, dass Sie die Eimer beobachten können. Bei der Vorführung sollen Sie bereit sein, anhand der Spezifikation der Klasse ZweiEimer die Richtigkeit Ihres Programmes zu zeigen.