jpen 1 juni — 1 september 1888.