Sun, 20 Dec 2020 13:40:56 +0100
Lintner to Kolbach gives only positive results. Round Kolbach to Lintner to 3 decimals.