20 , 000 ; Hähnel,