Analysis of a Two-Scale, Locally Conservative Subgrid Upscaling for Elliptic Problems | Synapse