pp-adic versions of BSD - Florian Sprung