Reinitializing MariaDB data directory fails on windows

Install MariaDB from zip, then create my.ini file. Holding:

[client-server]

config=C:/prgs/MariaDB/my.ini

socket=C:/DB/MariaDB/13.0/MySQL

port=3306

[mariadb]

datadir=C:/DB/MariaDB/13.0/data

log_error=C:/DB/MariaDB/13.0/logs/mariadb.log

log_warnings=3

[client]

password=padatuodotante

plugin-dir=C:/PRGS/MariaDB/lib/plugin

Push this where you unzipped the binaries.
Make sure no other my.ini is available.
Add mariadb binaries to path:

set PATH=C:\prgs\MariaDB\bin;%PATH%

Create directory structure for datadir.

Now execute:

mariadb-install-db --config=C:\prgs\MariaDB\my.ini --datadir=C:\DB\MariaDB\13.0\data -D user@localhost -R

Running bootstrap

Creating my.ini file

ERROR: Can't write to mysqld's stdin

FATAL ERROR: database creation failed

First thing noticed:
this copied the given config file to a place it is not expected and may lead to confusion.

Second thing:
some files within C:\DB\MariaDB\13.0\data are created, but the database itself is not.

Third thing:
descriptions for mariadb-install-db.exe are not adequate for windows in deployment-tools/mariadb-install-db because, as stated, this description only applys for Linux/UNIX. But clicking on the given link just handles you back to this page (deployment-tools/mariadb-install-db) and i could not find any better suited documents.

Installing of MariaDB seems broken even if installing the msi-version. Looks like it generates the very same error as above.