ruudi—a diminutive of the male given name Rudolf