Hallo jaenicke, Hallo mleyen,
dank für die Anwort und den Link. Meine Jedis sind nicht 100 pro up to date. Außerdem bin ich immer etwas unsicher was die Verwendung der Jedis bezüglich der Lizenzrechte angeht. Da binde ich das dann lieber selber ein. Für solche Kleinigkeiten mag ich das Einbinden externer Dateien immer nicht so. Aber guggen darf man ja mal
Wie gesagt, Dank für die Antworten und Gruß oki