Mantis:S platform/ksh

Rääschnerzoot