12,000 kr. , under vilkor att Berlins kommun tillskjuter den erforderliga fyllnadssumman.