Thomas Bauer's short proof for the existence of Zariski decomposition will be presented (J. Algebraic Geom., 2009).