distrikt ( ester grosth.