Gestern nachgeschaut. Die drei Bots die ich erstmals vor über einen Monat gemeldet habe, sind endlich weg.