De localer , som för folkskolorne användas,