Hallo Camping_RIDER, hallo Christian,

Greasemonkey kenne ich schon seit langem, hatte es dafür aber nicht auf dem Schirm, vielen Dank! Tampermonkey soll ja für eine ganze Reihe von Browsern funktionieren, aber mein Safari verweigert bislang die Zusammenarbeit und zeigt die Erweiterung nirgends an.

MfG, at