Lombo de porco com repolho

Ingredientes

• 1 repolho médio (1,5 kg)
• 4 litros de água;
• 3 colheres (sopa) de sal;
• 1 kg de lombo de porco;
• Pimenta do reino a gosto;
• 2 ramos de manjericão;
• 3 colheres (chá) de Kümmel (cominho-armênio ou alcaravia);
• 1 colher (chá) de erva-doce;
• 3,5 litros de água fervente;
• 4 tomates médios (340 gramas) sem pele e sem - sementes, picados;
• 1 colher (chá) de páprica picante;
• Cebola.