RE: Feststellen, ob GRUB installiert ist.