Die Antragsteller erklären den Antrag für erledigt, da er inhaltlich erfüllt sei.