Title: Polynomial minimum root separation (note to a paper of S.M. Rump)