https://blog.cscholz.io/linux-erkennen-ob-os-32bit-oder-64bit-ist/