(* Test that mentioning a warning defined in plugins works. The failure mode here is that these result in a warning about unknown warnings, since the
plugins are not known at command line parsing time. *)
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
