Die Kosten des Gerichtsverfahrens von Fr. 5’000.-- gehen zu Lasten der Gerichtskasse. Dem amtlichen Verteidiger wird der Betrag von Fr. 3'000.-- vorschussweise aus der Gerichtskasse entrichtet. 4. (Rechtsmittelbelehrung). 5. (Mitteilung).“