Title: Exakte Verdrahtung Mit Symbolischen Methoden