Tobias Mayer (1723–62): A Case of Forgotten Genius