How Bad Was Vichy France?