SmartRep auf der SMT-Messe 2 (c)SmartRep