Totally for my own reference.
Yesterday at our company all-hands meeting, we all got a pretty cool rollerball pen with a Hauser 707sf refill in it.
Upon Googling (gerund!), I found out that Schmidt 888 refills are compatible and that the “International Standard Size” is very likely also compatible.
Links I found for representative refills: