Marius (1957) Cast & Crew