Explizite arithmetische Schnitttheorie und Berechnung von Néron-Tate-Höhen