// kate: space-indent on; indent-width 4; remove-trailing-space on; remove-trailing-space-save on;