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