zamport implementation via konstruktor