Kürzel für "Ausspeisenetzbetreiber, Begriff im deutschen Gasmarkt