Definiere eine Garbe auf Spek(Z){\displaystyle {}\operatorname {Spek} {\left(\mathbb {Z} \right)}} mit nichttrivaler erster