Frederik Raben — Danish judge (1693-1773)