Miracle of Marcelino — 1955 Spanish film directed by Ladislao Vajda