Jetzt könnte man meinen: Die TOPs, die sich erledigt haben, können doch gleich mal gestrichen werden. ###>Well, now you could think that those TOP’s that are by now obsolete can be deleted from the list.