Revert "Armin"

This reverts commit 1a65691b9debb790f080c9b536feea7eb0b55031.