Vivo ceases all operations in Germany following Nokia patent infringement case