provide an alternative  to Element.clone() with DeepCopy

Signed-off-by: Florian Thienel <florian@thienel.org>
6 files changed