  A (not necessarily commutative) Krull monoid---as introduced by Wauters---is
defined as a completely integrally closed monoid satisfying the ascending chain
condition on divisorial two-sided ideals. We study the structure of these Krull
monoids, both with ideal theoretic and with divisor theoretic methods. Among
others we characterize normalizing Krull monoids by divisor theories. Based on
these results we give a criterion for a Krull monoid to be a bounded
factorization monoid, and we provide arithmetical finiteness results in case of
normalizing Krull monoids with finite Davenport constant.
