Was ist der Lieblingsfilm eines jeden Mathematikers? – Das Schweigen der Lemma…