30. August 2017 nicht im Dispositiv des Entscheids vom 20. Oktober 2017, sondern in
dessen Ingress verfügt wird. Denn einerseits geht aus Letzterem die Rücknahme des
ersten Entscheids genügend klar hervor. Andererseits kommt Ingressen in der Praxis eine
vergleichbare Bedeutung zu wie Dispositiven.