hade pingstferier mellan den 19 och 29 d:s . London den 9 Maj.