Quaternionisch-hyperbolische Mannigfaltigkeit