I'm looking for a reference that gives an overview of the most important properties of Arakelov intersection theory (on arithmetic varieties of arbitrary dimension) and that describes basic properties of the Arakelov Chow ring. There's a similar MO question asking about survey articles on (classical) intersection theory, so I guess that I'm asking the same question, but for Arakelov intersection theory.