Die Eintragung ist den Beteiligten formlos mitzuteilen; auf die Mitteilung kann verzichtet werden. Die Vorschriften über die Veröffentlichung von …