Collaborations between Gerdi Schjelderup and Per Tofte