TU Dresden trouble ticket system (Structured processing of requests with OTRS)