To fulfil the requirement on beam luminosity the ion source has to deliver a cold and intense proton beam with a generalized perveance of K = 3.1·10. Therefore, it was decided to use a hot filament driven gas discharge ion source providing very small beam emittances due to the very low plasma temperature. Furthermore, this source type is able to produce high beam intensities. Preliminary experi...