Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quantas minas de carvão existem na Alemanha com produtividade acima de 1200?
 ###Tabelas: 
CREATE TABLE mine (id INT, name TEXT, location TEXT, mineral TEXT, productivity INT); INSERT INTO mine (id, name, location, mineral, productivity) VALUES (1, 'Ruhrkohle AG', 'Germany', 'Coal', 1500), (2, 'RAG Anthrazit', 'Germany', 'Coal', 1000);
SELECT COUNT(*) FROM mine WHERE mineral = 'Coal' AND location = 'Germany' AND productivity > 1200;