Zaslat záznam e-mailem: A Strong Bisimulation for a Classical Term Calculus