Looks like @neugroschen hasn't received any replies!