i Bern har blifvit utnämd till generalprokuratori