Ziffern fischen per RegEx

[Raketenwilli]

Hmm, nicht so ganz. "Projekt" soll nicht mit ausgegeben werden,

Dann einfach so:

echo "\t" . $k . ". Fund:\t" . preg_replace( '/[^0-9]/', '', $s ) . PHP_EOL;

Zwei einfache reguläre Ausdrücke sind nicht teurer als ein heftiger mir Rückwärtskram.