| Champions League | Matches | W | D | L |  |
 |
 |
| home | - | - | - | - | - | - | - |
| away | 1 | - | - | 1 | - | - | - |
| overall | 1 | - | - | 1 | - | - | - |
| Champions League | Home | - | Guest | |
|
|
Results |
| 26/08/59 | OGC Nice | - | Shamrock Rovers | - | - | - | 3:2 |
| Champions League | Matches | W | D | L | |
|
|
| home | - | - | - | - | - | - | - |
| away | 1 | - | - | 1 | - | - | - |
| overall | 1 | - | - | 1 | - | - | - |
| Champions League | Home | - | Guest | |
|
|
Results |
| 26/08/59 | OGC Nice | - | Shamrock Rovers | - | - | - | 3:2 |
| Complete name: | Johannes Heinrich Martens |
| Born: | 00/00/1914 † 00/11/2002 |
| Place of birth: |
Zeist, 
Netherlands |
| Residence: | Zeist |
| Nationality: |
Netherlands |