  The quest for regular models of arithmetic surfaces allows different
viewpoints and approaches: using valuations or a covering by charts. In this
article, we sketch both approaches and then show in a concrete example, how
surprisingly beneficial it can be to exploit properties and techniques from
both worlds simultaneously.
