Ja, beim von mir bis jetzt (wegen Multiboot) verwendeten 12072 auch.
Auch beim 11684 z.B., hatte ich noch.
Muß nochmal in die Stadt, später wieder.

MfG