  We describe the set of maximal orders in a 2-by-2 matrix algebra over a
non-commutative local division algebra B containing a given suborder, for
certain important families of such suborders, including rings of integers of
division subalgebras of B or most maximal semisimple commutative subalgebras.
