add @kaeufl to credits, see #724