Collaborations between Karlheinz Hackl and Antonin Svoboda