Ruim 155 miljoen voor extra rechters, behandeling ondermijningszaken en digitalisering