General Riviera hade åter intagit Colonia.