(Liebig, Bovril, Mandarín, etcétera) Salsa de tomate: Lo primero se hace la salsa de tomate. Se reserva una vez pasada. Se corta el tronco del repollo, se quitan las hojas malas exteriores y se separan las que se vayan a preparar, quitando a las más exteriores la parte central de la hoja, que está dura. Se corta todo en tiras finas y se lava. En una cacerola o en una olla se pone agua fría abundante con sal. Cuando hierve a borbotones se sumerge el repollo, apoyando con una espumadera para que entre todo, y se deja cocer 1/2 hora (más o menos, hasta que esté bien tierno). En un colador grande se escurre muy bien. En una sartén honda se pone a calentar parte de la mantequilla (con parte de ella �unos 15 gr. más o menos� se unta bien el molde del budín) y se echa el repollo y el jamón muy picado. Se rehoga bien y se separa del fuego. En una ensaladera se baten los huevos como para tortilla con la leche y se añaden al repollo. Se revuelve todo bien y se vierte en la flanera untada con mantequilla. Se mete al horno al baño maría una hora más o menos. El agua del baño maría estará hirviendo al poner el budín y el horno se habrá calentado unos 10 minutos antes. Cuando está el budín, se apaga el horno y se abre durante 8 minutos, con el fin de que no se abra el budín al volcarlo. Se desmolda en una fuente redonda y se cubre con la salsa de tomate. Se sirve enseguida.