Collaborations between Thomas Kretschmann and Marvin Miller