ias15: ein schneller, adaptiver, hochordneter Integrator für gravitative Dynamik, genau bis zur Maschinenpräzision über eine Milliarde Orbits | Synapse