Looks like @klaucsani hasn't received any replies!