Formlogik an Brücken Teil 2