hospitalet för garnisonen i Milnster.