Geschrieben: 1900-01-01 00:00:01 in None
elementare Äquivalenz automatischer gruppen ist entscheidbar