MDLUL/syntaktischer Tautologien