Collaborations between Karl Löb and Heinz Funk