Компания, торгующая оборудованием для майнинга, получила название в честь известного немца. Назовите этого немца.