CREDITS: update credit information for Martin Kepplinger