Agricola hallen. Agricola hallilla