Collaborations between Tibor Bornai and Ernõ Mesterházy