The Dutch term "Damocles" matches the English term "Damocles"