Paragraph 175 — provision of the German Criminal Code forbidding homosexual acts, repealed 1994