Eitemau Tebyg: Eine formale algorithmische Synthese digitaler Schaltungen