已发行普通股总数的ROSENBAUER INTERNATIONAL AG。