Formal Brauer groups arising from certain weighted K3 surfaces A Kulikov-type classification theorem for a one parameter family of \(K3\)-surfaces over a \(p\)-adic field and a good reduction criterion 