German government steps up military intervention in Africa