Passt!

Super, danke! Ja, es gibt offenbar unterschiedliche Meinungen zum Thema, ich hätte mit der Löschung leben können, aber so finde ich es auch gut ;)

Nur mal interessehalber: a) hätte da nicht ein access=private gereicht? b) wo steht, dass "wir" keine privaten Pools mappen?