German troops to stay in Mali