Willy Weldens. Two world records: Human flag and push-ups