Pfisters Mühle : ein Sommerferienheft.