Formal Brauer groups arising from certain weighted K3 surfaces Beyond the Manin obstruction. -- Appendix A by S. Siksek: 4-descent. -- Appendix B: The Grothendieck spectral sequence and the truncation functor 