Kurt Reidemeister# 12c0075f93cc0591bb1f8b3a4f2de5c6