Title: Arithmetic models for Hilbert-Blumenthal modular varieties