nödiga allmänna lokaler , minens slut.