https://www.bestenzitate.com/zitat/martin-davis-1