Looks like @fhansmann hasn't received any replies!