Flothuis, Marius (1914-2001)