hade förut förestått Gråmanstorps mejeri.