DVB-S2 Karte (was: Re: Wie erkennt man eine 32 Bit CPU?)