Borgere i Nyborg tog med en mindehøjtidelighed afsked med hunkatten “Røde Allan”, der var en kendt skikkelse på byens togstation.