Geschrieben: 1900-01-01 00:00:01 in None
Did you know: Automatically presentable structures have decidable theories!