German cabinet agrees on military operation in the Congo