Modular Forms on Half-Spaces of Quaternions by Aloys Krieg