Hochstadter Alligators vs Erding