"A mathematician is a machine for turning coffee into theorems". This is how Paul Erdős quotes Alfréd Rényi. (Yes, that's a bit complicated, this is why people assign this quote directly to Erdős.) In this spirit, we try to turn as much coffee into theorems, as possible. 50,000 cups of coffee is sufficient proof that at least the intake of the machines is working.