Hopf-Galois module structure of degree p extensions of p-adic fields | Synapse