Thomassen , t. dito ; Allai,