[de] Decimator (Begriffsklärung)