vt: Vertrag.java, half done