Kurt Reidemeister# 34e903e304b1f1ec58317196bf357300