Formalien wissensch. Arbeiten FB 7