Looks like @shafarevich hasn't received any replies!