Unendlicher quaternionischer projektiver Raum