lima Engelsk Gjuteri-Cokes , „ „ Kamin-Cokes ,.