„ Engelsk Gjuteri-Cokes , „„