The term "extermination camp" is more precise for that case.