MARKIERUNG\\Mit diesem Gadget kann die Adresse mit Markierung Nr. 9 markiert werden.
Der Name der Markierung kann im Einstellungsfenster unter "Flags-Prefs"
definiert werden.
