Zu Wlassenkos formalen Gruppengesetzen