En tysk aritmetiker har räknat ut antaletaf