Fact #496 von profmakx

Geschrieben: 1900-01-01 00:00:01 in None

Das Entscheidungsproblem ist nicht entscheidbar.