Paul Herbst dies