Collaborations between Willy Ley and John Dennis