doktor ; G . Ribbing ,v.