Note, that I have solved my immediate problem and am posting here to satisfy my curiosity.
I have a mower with a B&S 128T02-3256 engine. I have downloaded the proper manual. The manual shows a starter with a typical rewind spring, which I have seen and repaired before.
The rope broke inside...