derberg ( frih .)