SMS dit: Die Syntax Notkers des Deutschen in seinen Übersetzungen