dito ; Rudolph , Mullmann , fr. dito;