Vahrenhorst, Paul