bash: testen ob Zeichenkette eine Zahl ist