Var det i orden, at Københavns Zoo aflivede giraffen Marius?