Collaborations between Benedikt Leitner and Antonin Svoboda