Collaborations between Henrich Boraros and Marie Ludvíková