German economy shrinks slightly in third quarter