Looks like @ninrwth hasn't received any replies!