Was ist eine Armlänge?