Dabei ist mir noch eine kuriose Sache untergekommen. Schaut mal diesen Absatz! Da steht, im letzten Satz, dass \pi_1(\ol{S_J}) notwendigerweise verschieden von sich selbst ist. Das ist ein Tippfehler im Original! Da müsste S_K stehen und chatGPT hatte diesen Fehler in seinem Output bereits korrigiert, ohne dass ich danach gefragt hatte.
