Version as submitted to the TU Dresden examination office.