Collaborations between Jan Hartl and Marián Labuda