Kurt Reidemeister# 327c7da7f7c506dabbb3558f2a3ad7b3