hade gjort upptäckten , om Mjölnaren och Domaren först bade funnit guldet?