Are both Geir Hansteen Jörgensen and John Badham Television and film directors?