Mustafin models of projective varieties and vector bundles - Marvin Anas Hahn (2020)