Commit Verlauf

Autor SHA1 Nachricht Datum
  Herbert Vojčík 63612499c1 Counter example has value: setter vor 12 Jahren
  Herbert Vojčík 2979abf681 Added Counter example vor 12 Jahren