E-Mail-Eintrag: Conditional term rewriting systems