SMT Uebung_2