Citation: 2C_1153/2016 E. A

A.a. Das Präparat Bronchialpastillen A.________, Lutschpastillen, ist ein durch das Schweizerische Heilmittelinstitut Swissmedic (Swissmedic) zugelassenes Arzneimittel (Zulassungsnummer xxx). Anlässlich einer periodischen Überprüfung der Qualität wies Swissmedic die A.________ AG auf Diskrepanzen zwischen der zugelassenen und der anlässlich der Kontrolle festgestellten Zusammensetzung hin. Mit Verfügung vom 21. Dezember 2012 wies Swissmedic das von der A.________ AG eingereichte Änderungsgesuch vom 15. Dezember 2010 ab. Das Bundesverwaltungsgericht wies eine von A.________ AG gegen die Verfügung vom 21. Dezember 2012 erhobene Beschwerde mit Urteil vom 10. Juli 2015 (Verfahren C-586/2013) ab; dieses Urteil wurde letztinstanzlich durch das Bundesgericht mit Urteil vom 25. Mai 2016 bestätigt (Verfahren 2C_769/2015). A.b. Mit Verfügung vom 14. Februar 2013 wies Swissmedic das Gesuch von A.________ AG um Verlängerung der Zulassung für das Präparat Bronchialpastillen A.________, Lutschpastillen, vom 22. Mai 2009 ab (Dispositivziffer 1), stellte fest, die provisorische Zulassung vom 9. Oktober 2009 erlösche nach Eintritt in Rechtskraft dieser Verfügung (Dispositivziffer 2) und untersagte das Inverkehrbringen und die Abgabe des Präparats nach Eintritt der Rechtskraft dieser Verfügung (Dispositivziffer 3).