Juggling_Haui has logged records in 5 patterns and Christian Grassmann has logged records in 12 patterns.
They aren't competing for any of the same records.