Stav dette: On the complexity of extended and proportional justified representation