Ce înseamnă “cocs de mina”?

“cocs de mina” în Dicționarul Român - German

  • grubenkoks