Oslo Tinghus, 1936-40 : Gerichtsgebäude in Oslo (Bauwelt, 1995)