The English term "safety-lamp, davy" matches the Dutch term "mijnlamp"