seeland.ch
string postcondition