Petschek-type reconnection at the magnetopause: A comparison of theory with data from ISEE 2 on September 11, 1979