Die rechtsprechende Gewalt wird durch Berufsrichter und durch ehrenamtliche Richter ausgeübt.