What is a formally produced lithium battery