ein paar kleinere Erweiterungen