DBsim: a Superscalar, Database-Backed, Design-Based Framework for Finite Population Simulations in R. A Technical Report. Arbeitsberichte der Hochschule für Wirtschaft