domarefunktioner vid sidan af andra civila tjenster , är det nemligen icke nödigt att i hvarje särskildt fall undersöka , huruvidafunktionären